Implication, Converse, Contrapositive, Inverse In Proposition Logic